Computing with Memory

Results: 472



#Item
251Software bugs / Debuggers / Insure++ / Pointer / Parasoft / C dynamic memory allocation / Memory corruption / C / Memory leak / Computing / Computer programming / Software engineering

Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

Add to Reading List

Source URL: www.parasoft.com

Language: English - Date: 2014-11-26 18:18:24
252Booting / Computing / Power-on self-test / IBM PC compatibles / Motherboard / Nonvolatile BIOS memory / POST card / American Megatrends / BIOS interrupt call / BIOS / Computer hardware / Computer architecture

Diagnostic Card PC Diag LCD Desktop and Laptop Test Card User’s Guide For use only in a desktop model computer with PCI slot or a LapTop Mini-PCI & MiniPCI-Express and LPC slot.

Add to Reading List

Source URL: www.pc-diagnostics.com

Language: English - Date: 2012-03-11 12:19:08
253Apache Portable Runtime / Novell NetWare / Memory pool / System software / C dynamic memory allocation / Operating system / Memory management / Software / Computing

Developing Applications with APR Paul Querna [removed] July 21, 2005

Add to Reading List

Source URL: www.outoforder.cc

Language: English - Date: 2013-12-02 16:55:59
254C programming language / C++ / Sizeof / CTX / Null / Sparrow / Memory leak / Computing / Computer programming / Software engineering

Our Sparrow Experience with Abstract Interpretation + Impure Catalysts Kwangkeun Yi ropas.snu.ac.kr/~kwang Research on Software Analysis for Error-free Computing Center School of Computer Science and Engineering

Add to Reading List

Source URL: samate.nist.gov

Language: English - Date: 2013-05-07 16:54:58
255USB flash drive / Software / Universal Serial Bus / USB 3.0 / USB hub / Disk enclosure / Live USB / USB mass-storage device class / USB / Computer hardware / Computing

FAQ for USB Flash Drive 1. What is a USB Flash Drive? A USB Flash Drive consists of a flash memory data storage device integrated with a USB interface. USB Flash Drives are typically removable and rewritable. When you pl

Add to Reading List

Source URL: www.cityu.edu.hk

Language: English - Date: 2014-04-07 21:06:23
256Software bugs / Debuggers / Insure++ / Pointer / Parasoft / C dynamic memory allocation / Memory corruption / C / Memory leak / Computing / Computer programming / Software engineering

Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

Add to Reading List

Source URL: www.parasoft.com

Language: English - Date: 2014-12-01 04:04:05
257Object-oriented programming / Cross-platform software / Programming language implementation / Programming paradigms / Memory management / C / Programming language / Assembly language / Abstraction / Software engineering / Computing / Computer programming

Making COLAs with Pepsi and Coke∗ (a white-paper advocating widespread, unreasonable behaviour) Ian Piumarta [removed[removed]†

Add to Reading List

Source URL: piumarta.com

Language: English - Date: 2005-10-28 13:20:03
258C programming language / Cross-platform software / Abstract interpretation / Astrée / MISRA C / Source code / C / SQL / Pointer / Computing / Software engineering / Computer programming

´ for C Astree Astr´ee analyzes safety-critical structured C programs with complex memory usage conforming to the C99 standard. This targets embedded applications as found in earth transportation, nuclear energy, medic

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
259Ad hoc / Memory segmentation / Mobile web analytics / Business / Statistics / Computing / Web analytics / Webtrends / Analytics

Explore An intuitive, flexible and powerful solution for all your ad-hoc data exploration needs. With Webtrends Explore, you can dig deep into your unlimited

Add to Reading List

Source URL: cdn.webtrends.com

Language: English
260Computer hardware / Central processing unit / Computer memory / CPU cache / Cache / Memory management unit / Page table / Model checking / Uclid / Computer architecture / Computing / Virtual memory

Verification with Small and Short Worlds Rohit Sinha UC Berkeley Cynthia Sturton UC Berkeley

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
UPDATE